We are pleased to announce that the Mathematics and Informatics Committee of the Regional Center of the Hungarian Academy of Sciences in Pécs and the Set Theory, Logic and Topology department of the Alfréd Rényi Institute of Mathematics organize a hybrid workshop celebrating the 6th World Logic Day on 12th January 2024.
The aim of World Logic Day is nicely summarized by the following quote:
"A dynamic and global annual celebration of World Logic Day aims at fostering international cooperation, promoting the development of logic, in both research and teaching, supporting the activities of associations, universities and other institutions involved with logic, and enhancing public understanding of logic and its implications for science, technology and innovation."
-- Proclamation of a World Logic Day UNESCO. General Conference, 40th, 2019.
In the spirit of this quote, we aim to organize an event with a friendly atmosphere that inspires fruitful discussions, where researchers and students can get some insights to the works of each-other and can celebrate World Logic day together.
Venue:
MTA-PAB Székház 7624 Pécs, Jurisics Miklós utca 44.
Alternative accommodation possibility: Hotel Arkadia Pécs
Following the event online:
One can follow the even via the following Zoom Meeting:
Topic: 6th World Logic Day
Time: Jan 12, 2024 12:55 PM Budapest
Join Zoom Meeting https://us06web.zoom.us/j/81749640793?pwd=gJWtfDCcQDVbtawKJU14CoyzyyJbj4.1
Meeting ID: 817 4964 0793
Passcode: 248889
Program:
The schedule is in Central European Time (CET).
| 12:55-13:00 | Opening |
| 13:00-13:30 | Sándor Jenei (University of Pécs, Eszterházy Károly Catholic University)
Densification in non-divisible, non-idempotent, non-integral classes of involutive residuated lattices
abstract |
| 13:30-14:00 | Ambrus Kaposi (Eötvös Loránd University)
A type theory with internal parametricity
abstract |
| 14:00-14:30 | Zalán Molnár (Eötvös Loránd University)
van Benthem characterization theorem for ultrafilter extensions
abstract |
| 14:30-15:00 | Break |
| 15:00-15:30 | Bálint Király (Budapest University of Technology and Economics)
Automorphism invariant measures on homogeneous structures
absztrakt |
| 15:30-16:00 | Nicha Khenkhok (Eötvös Loránd University)
The translation invariant product measure problem in non sigma-finite case
abstract |
| 16:00-16:30 | Break |
| 16:30-17:00 | Dorottya Sziráki (Rényi Institute)
Long games and open hypergraphs on generalized Baire spaces
abstrakt |
| 17:00-17:30 | Amitayu Banerjee (Rényi Institute)
Distinguishing colorings and proper colorings without the Axiom of Choice
abstract |
| 17:30-18:00 | Alexa Gopaulsingh (Eötvös Loránd University)
Subalgebra Independence: The case of Subgroup Independence
abstract |
| 18:00-19:00 | Coffee, tea and Informal discussion |
The schedule is in Central European Time (CET).
Organizers:
Zalán Gyenis (Jagiellonian University)
Sándor Jenei (University of Pécs, Eszterházy Károly Catholic University)
Gábor Sági (Rényi Institute)
Gergely Székely (Rényi Institute)
Previous World Logic Day events in Hungary:
5th Logic day: Rényi Institute/MTA-PAB
4th Logic day: Model Theoretic Logics and their Frontiers
3rd Logic day: Rényi Institute/Eötvös Loránd University
2nd Logic day: Rényi Institute/Eötvös Loránd University
1st Logic day: Eötvös Loránd University and University of Pécs.